منابع مشابه
Coercive Subtyping
We propose and study coercive subtyping, a formal extension with subtyping of dependent type theories such as Martin-LL of's type theory 38] and the type theory UTT 30]. In this approach, subtyping with speciied implicit coercions is treated as a feature at the level of the logical framework; in particular, the meaning of an object being in a supertype is given by coercive deenition rules for t...
متن کاملCoercive Subtyping in Type Theory
We propose and study coercive subtyping, a formal extension with subtyping of dependent type theories such as Martin-LL of's type theory NPS90] and the type theory UTT Luo94]. In this approach, subtyping with speciied implicit coercions is treated as a feature at the level of the logical framework; in particular, subsumption and coercion are combined in such a way that the meaning of an object ...
متن کاملRetinoblastoma in Southwest Iran
Background: Retinoblastoma is the most common embryonic tumor of retina of children. This tumor include 3-4% of all children malignancies during the age range 0-14 years. In this study, we reported the incidence, therapeutic protocols, and treatment outcome of children with RB in South west Iran. Methods: We retrospectively investigated the medical reports clinical and pathological features of...
متن کاملIntrinsic ferroelectric coercive field
The Landau-Ginzburg theory of ferroelectricity predicts the intrinsic coercive field for polarization reversal, but the observed extrinsic coercive field is always much smaller as a result of nucleation, dynamic processes not covered by the static theory. We have realized the intrinsic coercive field for the first time, in two-dimensional Langmuir-Blodgett polymer films as thin as 1 nm. The mea...
متن کاملCoercive Trade Policy∗
As pointed out by many observers, even if it has been very successful in promoting trade liberalization, the WTO remains a court with no bainli . How can this international institution achieve its goal if defendants can reject adverse rulings with impunity? Given the WTO's limited enforcement powers, are unilateral or multilateral coercion more e ective in inducing the target country to concede...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Vietnamese Studies
سال: 2014
ISSN: 1559-372X,1559-3738
DOI: 10.1525/vs.2014.9.3.55